Analysis of preemptive periodic real-time systems using the (max, plus) algebra with applications in robotics

Analysis of preemptive periodic real-time systems using the (max, plus) algebra with applications in robotics

A Max - Plus Algebra of Signals for the SupervisoryControl of Real - Time Discrete Event Systems

In this paper, we deene a max-plus algebra of signals for the evaluation of timing behavior of discrete event systems modeled by timed event graphs. We restrict ourselves to innnite, periodic sequences for which we can compute nite representations called signals. This framework allows us to implement a max-plus algebra for computing supremal controllers for real-time, discrete event systems.

Analysis of Periodic Discrete Event Systems in (Max,+) Algebra

Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra

We describe a hierarchical technique that allows a class of non-deterministic timed Petri nets to be analyzed using the (max,+) algebra of periodic signals. We show that the timing and controllability analysis of such systems is possible via the use of (supand) inf-convolution operations within the (max,+) framework. We apply this technique to the verification of timing constraints in an intell...

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...